COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	CALL FOR PAPERS
C00010 ENDMK
C⊗;
CALL FOR PAPERS

1980 LISP Conference

The 1980 LISP Conference  hosted by Stanford University,  will be held  on
the Stanford campus, August 24-27, 1980.

%2PURPOSE%1
Many areas of contemporary computer science have their spiritual roots  in
developments related to  LISP.  These
areas  include   machine   architecture,   systems   design,   programming
methodology and technology,  and a  theory of computation.   The call  for
papers reflects this breadth.


%2TOPICS%1 
The following  topics are typical, but not exclusive: 
.begin indent 5,10
%2Languages and Theory.%1 
Applicative languages, Object-oriented languages, Proving correctness
of LISP programs, Mathematics and formal semantics of LISP-like  languages.
.end
.begin indent 5,10
%2Programming Aspects%1 Programming tools and environments
for LISP-like languages, Applications of these ideas to other languages.
.end
.begin indent 5,10
%2Architecture.%1 The design and implementation of LISP hardware,
Adaptation of existing machines, 
Specially designed LISP machines.
.end
.begin indent 5,10
%2Applications.%1 Non-traditional applications of LISP. This area, of
course, is not easily categorized.
.end
%2PAPER SUBMITTAL%1 Authors are requested to send four 
copies 
of a full draft paper not exceeding 4500 words,
and a one-page abstract, by  March 14, 1980 to:
.BEGIN tabit1(15)
Conference Head
John R. Allen
Stanford Artificial Intelligence Lab
Stanford University
Stanford California 94305
(415)497-2800
.END
The abstract should provide sufficient detail to allow the committee
to apply  uniform criteria for acceptance. Appropriate references and
comparison to extant work should be included. The papers will be "blind
refereed". Traces of authorship should not appear within the body
of the paper; this information should appear %2only%1 in a cover letter
to the conference head.

Authors will  be notified of acceptance or rejection by May 16, 1980.
For inclusion in the proceedings, final papers are due
 by June 27, 1980.

%2PROGRAM COMMITTEE.%1 The committee consists of:
John R. Allen, 
Bruce Anderson,
Richard Fateman,
Dan Friedman,
Eiichi Goto,
Patrick Greussay,
Tony Hearn,
Carl Hewitt, 
Alan Kay,
Peter Landin,
Joachim Laubsch,
John McCarthy,
Gianfranco Prini,
Erik Sandewall,
Carolyn Talcott,
and
David Wise.


In charge of Local Arrangements is:
.BEGIN TABIT1(15);
Dr. Ruth E. Davis
Department of EECS
University of Santa Clara
Santa Clara, California   95053
(408)984-4358
.END


%2MEETING FORMAT.%1
Besides the formal sessions, we expect to have several
demonstrations, including LISP machines.

Evening sessions  may be established, and informal workshops will be 
encouraged.

%2KEYNOTE SPEECH.%1 Monday morning, John McCarthy will open the confernece
with an opening address.

%2PANEL DISCUSSION.%1 Tuesday evening, August 26, 1980, there will be a 
panel discussion on the
topic "What is LISP?". Even informal conversations will 
elicit several divergent if not contradictory views of LISP;
a organized effort should prove even more illuminating.